ADAS (Purpose,process) Digital design
Aditi Compiler (Description,operations) Deductive Databases
AFARS - Asset Forfeiture advisor and reporting system (Purpose,process) Criminal Justice; Law enforcement
Air Sheduler (Description,real-time)
ASIGNA (Purpose,process) Chemical processes scheduling
ASTROLIZA / Aastro Brain Base (Description,process) Is used in Holland, Belgium, Germany, Austria and Switzerland by professional astrologs who use it both for analysis and interpretaion of birth charts.
BARBARA THE SYLLOGIZER. (Description,process) Logic exercises in syllogistic (monadic) logic.
BIS/Estimator System (Description,process) Data Processing management
Calculation of Physico-chemical Parameters (References,activit) Pharmaceutical industry
CAPS - Computer Aided process Scheduling (Description,process) Intelligent Databases
CAS/FPS - Computer-Aided Synthesis of Flexible Production Scheduling. (Description,activit) Production Planning and Scheduling of Multiproduct (Batch) Plants.
CASEy (Purpose,process) expert system, manufacturing
CAT2 (Description,process) Fully automatic translation of informative texts; emphasis has been on European Commission texts, as well as general purpose texts.
Chemical resource allocation (Description,process) Manufacturing planning
CLIENT RISK MANAGEMENT (Purpose,operations) Risk handling in Bank front office, middle office and central office.
Cobol Program Generator (Purpose,process) Software applications
Conceptual Graph Editor (CGE) (Description,operations) Knowledge Representation.
Conceptual Graph Tools (CGT) (Description,operations) Knowledge Representation.
Coronary Network reconstruction (Description,process) Medical investigation
DAMOCLES - Damage Monitoring and Control Expert System. (Description,process) Damage control, fire-fighting, stability and buoyancy.
Declarative graphics (Description,process) computer graphics
DELBOLISM (Description,process) Computer architecture design
DESA - Desassembler of VSLI circuits (Description,process) CAD of VLSI circuits.
Detect5.pro (Domain,process) Natural language processing
DFT Spectral Analysis. (Description,process) Digital Signal Processing Analysis and Simulation.
DME(Distance Measuring Equipment)SIMULATOR (Description,real-time) Real Time simulation.
DynaPay Payroll Awards Interpreter. (Description,activit) Payroll.
EMEX (Description,process) Strategic Marketing.
ENDELON (Description,activit) Project management.
ESTA (Description,process) Expert system
EUREX (Description,operations) Law
EVA (Purpose,process) Automatic aquisition of knowledge in order to build and expert system.
EXCAP (Purpose,operations) Process planning
Expert system for production planning (Purpose,process) Process Planning
FAIRCHILD prototyping system (Description,process) Electronics design
FELIX - FEL and Logica Interactive Expertsystem (Description,activit) Intelligent Computer Assisted Instruction, Computer Based Training.
FORMALL (Purpose,process) Form processing.
FORMZ (Purpose,process) Form Processing.
FRENCHIP (Description,process) Electronic design
FuPlan (Description,process) Engineering of Automated Building Management Systems.
GASMAD (Purpose,daily) Maintenance decision support in gas distribution strategies.
Gene Sequence Alignment (Description,process) Biological Research
Generator of Cobol programs for Data Validation (References,process) Software applications
Grammar Development Tool (Domain,process) Natural language processing.
GROG - General Recognition Of Gates in VLSI circuits (Description,process) CAD of VLSI circuits.
GRONPAR (Purpose,process) Genetic research, parallel programming.
GUNGA CLERK (Description,process) Legal expert systems.
HAMP (Description,process) Shipping scheduling
HPLus (Description,process) Computer Based Training
HPSG-PL (Description,process) Computational linguistics, natural language parsing.
IBM SAA LanguageAccess (Description,process) Natural language processing.
Information retrieval system processing data on pests and pesticides (Purpose,process) Retrieval Systems
INTERACT (References,process) medical prescription
JONSWAP 3D Wave Force Analysis (Description,process) Nautical Research
KAMIIH (Kasmoc Models programming environment (Description,process) Engineering drawing in 2D and 3 D
L-Form (Purpose,process) Form Processing.
Laser Blankrupter (Purpose,process) Legal forms processing.
LIMBO - Line Maintenance Bottleneck Detection (Description,process) Airline Fleet Management
Linear Objects (LO) (Purpose,process) Computer systems
Machine Assisted Terminology Elicitation Environment. (Description,process) Translation.
MailerMate II (Domain,process) Form processing.
Mathias (Description,operations) Mathematics
Medical Expert Diagnostic System (Description,process) Medical - GP
MessageQ (Description,process) Business and information systems.
MISTRAL (Description,process) Dam safety.
MM4 Weather Modelling System (Description,process) Weather Forecasting
MMI2 (Description,process) Multimodal interfaces / Expert systems
MODGEN 2.0-model generator for chemical processes. (Purpose,process) Dynamic Simulation.
MODGEN/DMS Dynamic Modular Simulation of Technological Systems. (Purpose,process) Dynamic Simulation of Technological Plants.
MODGEN/HPLC - Modeling Preparative High Performance Liquid Chromatography. (Description,process) Simulation of Preparative HPLC.
Mondel Development Environment (Description,real-time) Object-oriented specification development: Compiling, execution, and validation.
MTN (Purpose,process) Teleprocessing Networks
Multipurpose Substation Simulator Shell (MPSSS) (Description,real-time) Power Systems Training Analysis
NeoMail (Description,process) Communications.
Network Management (Description,activit) Retail network management
OF (Description,activit) Activity Planning
Operational Rations Advisor (ORA) (Domain,operations) Expert system for U.S. Army field operations.
Opium (Description,process) CASE tool
OPUSPC (Description,real-time) Airline Planning
PAGAI (Description,process) Intelligent Databases
PARAFLOG (References,process) Dataflow Modelling
PCUBE or P3 (Description,process) Production and other scheduling.
Peptides Model Prediction System (Purpose,activit) Pharmaceutical research
Perfect Pitch (Description,process) Sports medecine
PHILO THE LOGICIAN. (Description,process) Introductory logic classes in which students are required to translate English sentences into truth-functional formulas.
PIAF (Description,process) Electronic Design.
Planning (more than) one-level buildings (Purpose,process) Architecture, Planning
PLASMA (Description,activit) Re-Engineering.
PPLC 2.0 - flexible process control by Prolog represented higher order Petri-nets . (Description,process) Process Control.
Pre-Printed Blankrupter (Purpose,process) Legal forms processing and decision making.
Print-A-Form (Purpose,process) From Processing.
ProdAction (Description,process) Finite Capacity Scheduling in Discrete Manufacturing Industries.
Prolog-D-Linda (Description,process) Parallel Prolog Programming.
PROM (Description,process) Systems Programming/ Computer architecture
PROS 800 / PROVISA (Purpose,process) Industrial uses, mainly in areas of thermo procedure techniques.
PROSPEX (Purpose,process)
Protein Structure Prediction (Description,process) Molecular biology
Prototyping in Prolog (Description,process) Computer Aided Design of New Software Tools for Task Support
PULSE STREAM CLASSIFIER (Description,process) Radar/ EW
Rapidforms Forms Template - Contractor (Purpose,process) Form Processing.
Rapidforms Forms Template - Tax Template (Purpose,process) Form Processing.
REKPERT PLUS (Rectification Knowledge based Expert System. (Description,process) Chemical Engineering.
RIGEN (Description,operations) Financial Modelling
RoadWeather Pro (Domain,operations) Decision support system estimating weather-related effects on highway maintenance operations, as well as on airports, transportation, recreational activities, agribusiness etc.
RTSC - Real Time Supervisory Control by structure-based PROLOG program. (Description,activit) Real Time Supervisory Control and Database Management.
SAMPLE: The Simplest AI Language Interpreter (Purpose,process) Knowledge Representation
Scheduling and Planning (Description,process) Car Manfacturing
SD-Scicon Analyst System (Description,activit) Computer Aided Software Engineering
Simapro (Description,process) Environmental analysis of products.
SimSched (Description,process) Design and control of Flexible Manufacturing Systems.
SMES (Description,process) Monitoring.
Sonar performance (Description,operations) Sonar design
SRI Business Analysis (Description,process) Systems analysis
STRAND88 Programming System (Domain,process) practical (symbolic) parallel processing
Termbase. (Description,process) Natural Language Processing, Computer Aided Translation.
Test and modelling of self reproducing biochemical processes (Purpose,process) Biochemistry
Test Tool (Description,process) Natural language processing.
The Configurer Graphics Service, CGS (Description,process) Automatic Diagram Generation.
THE INSPECTION NETWORK (Description,process) Remote access expert system, pay-per-use network.
THE MAX AUDIOMETRIC TESTING SYSTEM (Description,daily) Medical diagnosis.
The T-Prolog Interpreter (Description,process) Programming languages
Timetable Scheduler. (Description,process) Planning, Scheduling.
Towa Mold Press Diagnostic & Maintenance Expert System (TMES) (Description,process) electronic, mechanical, pneumatic & hydraulic diagnostics.
TSM - Twin Structure Model of controlled objects . (Purpose,process) Analysis and Synthesis of Controlled Objects.
TWAICE (Description,process) knowledgebased system
UNZ & Co. Export Software (Description,process)
VALERE (Description,daily) Environment, Chemical analysis.
VLSI Test pattern generator (Description,activit) Electronic design
WADNES (Description,process) Water Distribution

Speech synthesis (Purpose,speech) Speech synthesis

DBKUNDAR (Domain,sales) Customer support and follow-up, for sales people.
DINSA HPP and Stocks (Description,sales) Decision support for stocks management.
Electronic Catalog Construction Kit for Windows v1.0 (Domain,sales) Electronic marketing and sales.
Electronic Catalog Construction Kit v3.04 (Domain,sales) Electronic marketing and sales.
EMEX (Description,sales) Strategic Marketing.
FIM (Domain,sales) Front office sales of investment funds.
Git'N GO P.O.S & Inventory System (Description,sales) Business Application.
REKPERT PLUS (Rectification Knowledge based Expert System. (References,sell) Chemical Engineering.
TEMA (Description,sell) Installation program.
The Configurer Graphics Service, CGS (Purpose,sales) Automatic Diagram Generation.
Total Network Management - Event Correlation Package. (Description,sold) Telecommunications - network monitoring and troubleshooting.

CAD tools in mechanical engineering (Description,classif) CAD
DEFINE BENEFIT STRUCTURE/MODULE of PENSION FUND VALUATION PROGRAM (Description,classif) Pension Fund Variation.
DIAVOLA (Description,classif) Mechanical Engineering:Failure Diagnosis,Product Training.
EVA (Description,classif) Automatic aquisition of knowledge in order to build and expert system.
GROG - General Recognition Of Gates in VLSI circuits (Description,classif) CAD of VLSI circuits.
INTERACT (Description,classif) medical prescription
(IT) 2 Information-theoretic induction tools (Purpose,classif) Process optimization
MODGEN 2.0-model generator for chemical processes. (Description,classif) Dynamic Simulation.
Personal Notekeeper (Description,classif) Intelligent Text-retrieval for multilingual Documents; Secure Electronic Notebook.
Planning (more than) one-level buildings (Description,classif) Architecture, Planning
Prof'Expert (Description,classif) Computer based training.
PULSE STREAM CLASSIFIER (Purpose,classif) Radar/ EW
THE MAX AUDIOMETRIC TESTING SYSTEM (Description,classif) Medical diagnosis.

ACAPS Loan Printing System (Purpose,document) loan paperwork production.
ADES (ATP Design Expert System) (Description,document) Logic Circuit Design.
AFARS - Asset Forfeiture advisor and reporting system (Description,document) Criminal Justice; Law enforcement
AIA-TRANS (Description,document) Freight distribution.
ALIEN (Domain,document) Equipment documentation
AUTOPROLOG (References,generation) Legal drafting
CAT2 (Description,generation) Fully automatic translation of informative texts; emphasis has been on European Commission texts, as well as general purpose texts.
CLARE/CLE (Purpose,generation) Natural Language Processing, particularly interactive.
DOKSI (Purpose,document) Documentation support
EDF (Domain,generation) Power generation
EhLogico. (References,generation) Automated Theorem Proving, Cooperative Interfaces for Knowledge-Based Systems.
EUREX (Description,document) Law
EXEGETE (Purpose,document) Education in the Humanities.
Generator of Cobol programs for Data Validation (References,generation) Software applications
GEX-Tool (Description,generation) electronic assembly
Grammar Development Tool (Description,generation) Natural language processing.
GraphicKnowledge (Description,document) Geographic Information Systems (GIS).
HOSROS (Description,generation) Health.
HPLus (Purpose,generation) Computer Based Training
Human Rights Hypertext System (Purpose,document) International Relations, Education.
IPHONE (References,document) Office Automation.
KALIPSOS (Description,generation) User interfaces
Laser Blankrupter (Description,document) Legal forms processing.
LORSMS (Description,generation) Risk Calculation for optimising Safety.
MODGEN/DMS Dynamic Modular Simulation of Technological Systems. (Description,generation) Dynamic Simulation of Technological Plants.
MOP2 (Description,document) Project management, manpower planning and recording
MTN (Description,generation) Teleprocessing Networks
Nestor (Description,document) Corrective maintenance of telecom switching equipment
NTM (Nurse Teaching Manager) (Purpose,document) Administration
Opium (Description,document) CASE tool
Personal Notekeeper (Purpose,document) Intelligent Text-retrieval for multilingual Documents; Secure Electronic Notebook.
Practitioner Awards KBS (Description,document) Pensions administration
Pre-Printed Blankrupter (Description,document) Legal forms processing and decision making.
PRECIS (Description,document) Systems analysis and design
ROADS (Description,document) Communication networks; private exchanges
RTSC - Real Time Supervisory Control by structure-based PROLOG program. (Description,generation) Real Time Supervisory Control and Database Management.
Scrivenerª - A Document Assembly Legal Expert System (Purpose,document) Legal drafting
SD-Scicon Analyst System (Description,document) Computer Aided Software Engineering
Staff (Description,generation) Staff Scheduling
SYLAE (Purpose,generation) expert systems interface
SYLLOG (Description,generation) Deductive database; expert system; natural language query
TEX4 (Description,document) CASE/Document Research.
THREAD (Domain,document) Any large project where there is a lot of documentation (such as letters, safety reports etc.) where there are many common issues traversing the documents.
TML Genealogy System (Description,generation) Genealogy.
TOERNOOI ASSISTENT (Description,generation) Sports (tennis). Administration, ranking. planning and scheduling. Tournament optimalisation.
UNZ & Co. Export Software (Purpose,document)
VLSI Test pattern generator (References,generation) Electronic design
XWIN (Description,generation) Graphical interface.

AALPS (Description,knowledge) Aircraft planning
ACACIA (Purpose,knowledge) Nuclear power
ADAN (Domain,knowledge) Aquisition of knowledge from data analysis.
ADES (ATP Design Expert System) (Description,expert system) Logic Circuit Design.
ADP (Arc Welding Diagnosis and Planning System. (Description,knowledge) Design Manufacturing Systems
AFARS - Asset Forfeiture advisor and reporting system (Description,knowledge) Criminal Justice; Law enforcement
AGATHA (Description,expert system) Electronic Diagnosis
ALTES (Description,knowledge) Mainframe Tuning.
An Automated Legal Reasoning System on Indian Governement's Reservation Policy for Scheduled Castes and Scheduled Tribes (Description,expert system) Legal Reasoning.
ASK (Associative System Kentek) (Description,knowledge) Industrial Data Analysis and Management Information Systems.
ASTROLIZA / Aastro Brain Base (Description,expert system) Is used in Holland, Belgium, Germany, Austria and Switzerland by professional astrologs who use it both for analysis and interpretaion of birth charts.
ATR Trainer (Description,expert system) Training
AUTOPROLOG (Description,expert system) Legal drafting
BAMBI (Description,knowledge) Intelligent front end
BATEX (Purpose,expert system) Building Design
BEACON (Description,knowledge) Computer manufacture
Biomarker (Description,knowledge) Geochemistry for Oil Exploration.
BIS/Estimator System (Description,knowledge) Data Processing management
CADRAN (Description,knowledge) CAD.
CAPS - Computer Aided process Scheduling (Description,knowledge) Intelligent Databases
CASEy (Domain,expert system) expert system, manufacturing
Cast Component (Description,representation) Manufacturing design
Chemical Information System (Description,knowledge) Chemistry
Conceptual Graph Editor (CGE) (Purpose,knowledge) Knowledge Representation.
CPE (Purpose,knowledge) Knowledge Based Programming Automation of Programming Engineering Problems
DAMOCLES - Damage Monitoring and Control Expert System. (Description,expert system) Damage control, fire-fighting, stability and buoyancy.
DECIBAC (Purpose,expert system) Expert systems
DEFINE BENEFIT STRUCTURE/MODULE of PENSION FUND VALUATION PROGRAM (Description,knowledge) Pension Fund Variation.
Detect5.pro (Description,representation) Natural language processing
DIANA (Description,knowledge) Technical Diagnosis (Fault finding in technical installations).
DOFLEX (Dortmund Flexible Legal Expert System Environment) (Purpose,knowledge)
DUST-EXPERT (Description,knowledge) Design of Vents for explosion relief.
DYNAMIC - system (Description,knowledge) Locking and physical access control to buildings and facilities.
EhLogico. (Description,knowledge) Automated Theorem Proving, Cooperative Interfaces for Knowledge-Based Systems.
EMEX (Description,knowledge) Strategic Marketing.
EMICAT (Description,knowledge) CASE Tool
ENDELON (Description,knowledge) Project management.
ERS-1 Payload system (Description,expert system) Aerospace planning
ESTA (Purpose,expert system) Expert system
EUREX (Description,knowledge) Law
EVA (Domain,knowledge) Automatic aquisition of knowledge in order to build and expert system.
EVAL (Description,knowledge) Financial Analysis and Evaluation
EXPOD (Description,knowledge) Chemical Design.
FLiPSiDE (Purpose,knowledge) Distributed AI
Generalized Query System (Purpose,knowledge) database front-end, system integration
GESER (Description,knowledge) Ship design
GEX-Tool (Purpose,expert system) electronic assembly
GOLDFINDER (Description,knowledge) Geology
GROG - General Recognition Of Gates in VLSI circuits (Purpose,expert system) CAD of VLSI circuits.
GUNGA CLERK (Domain,expert system) Legal expert systems.
IBM SAA LanguageAccess (Description,knowledge) Natural language processing.
ICEBERG ELECTRIC (Description,knowledge) Electrical dispatching.
IMAGIA (Description,knowledge) Electronic manufacture
INDICAID (Intelligent diagnostic computer aid) (Description,knowledge) Trouble-shooting in technical installations.
Infologics Faultfinder System (Description,knowledge) Service Engineering
INTERACT (Description,knowledge) medical prescription
ISCN Expert (Description,expert system) Health
KALIPSOS (Purpose,representation) User interfaces
Knowledge-based Image analysis system (Description,knowledge) quality control
KORNPLAN (Description,representation) Logistics
LEX0 (Domain,expert system) Legal expert system
LEX1 (Domain,expert system) Legal expert system
LEX2 (Domain,expert system) Legal expert system
Loqui (Description,representation) NL
LTUTOR (Description,expert system) Legal
MacCLINT (Description,knowledge) Machine Learning; Inductive Logic Programming
Marvin (Description,knowledge) Knowledge Based Systems
MCDS ? (Description,expert system) manufacturing systems
Medical Expert Diagnostic System (Description,knowledge) Medical - GP
MEES. (Description,expert system) Expert System.
MINOTAURO 1000 (Purpose,expert system) Train dispatching and control.
MINOTAURO 3000 (Purpose,expert system) Train dispatching and control.
MISTRAL (Description,knowledge) Dam safety.
MMI2 (Purpose,knowledge) Multimodal interfaces / Expert systems
MODGEN 2.0-model generator for chemical processes. (Purpose,knowledge) Dynamic Simulation.
MODGEN/DMS Dynamic Modular Simulation of Technological Systems. (Description,knowledge) Dynamic Simulation of Technological Plants.
NeoMail (Description,knowledge) Communications.
Nestor (Purpose,expert system) Corrective maintenance of telecom switching equipment
NORMALIZER (References,expert system) Legal drafting
Optimist (Description,knowledge) Oil exploration
OSM (Description,knowledge) Medical information systems
PIAF (Description,knowledge) Electronic Design.
PigE (Purpose,expert system) farm management.
PLASYNT (Description,representation) Combinational logic synthesis
Practitioner Awards KBS (Description,representation) Pensions administration
Prof'Expert (Description,expert system) Computer based training.
Prometheus (Description,knowledge) Expert Systems Toolkit.
Protein Structure (Description,representation) Genetics research
PYTHON (Description,expert system) Problem Solving Methodologies.
Real Time ABLE compiler (Description,representation) Multi-agent systems domains
REKPERT PLUS (Rectification Knowledge based Expert System. (Purpose,expert system) Chemical Engineering.
REPROBATE (Description,representation) Validation.
SAMPLE: The Simplest AI Language Interpreter (Purpose,expert system) Knowledge Representation
Scrivenerª - A Document Assembly Legal Expert System (Purpose,expert system) Legal drafting
SEAP (Systeme expert d'alerte precoce). (Description,expert system) Famine Prediction
SECReTS (Description,expert system) Financial advice
Sesam-Chimio Hypertext system (Description,knowledge) Medical information
SEXSY (Studiefinancierings EXpert Systeem // Scholarship Expert System) (Description,expert system) Expert system, legislation on scholarships.
SimSched (References,knowledge) Design and control of Flexible Manufacturing Systems.
SIPS (Description,knowledge) CIM, QA, Education, Artificial Intelligence.
SIRIUS (Purpose,expert system) Train dispatching and control.
Skilaki (Purpose,expert system) Expert systems
SKOL EXPERT (Purpose,expert system) Education.
Speech synthesis (Description,knowledge) Speech synthesis
Staff (Description,expert system) Staff Scheduling
SYLAE (Domain,expert system) expert systems interface
SYLLOG (Domain,expert system) Deductive database; expert system; natural language query
THE INSPECTION NETWORK (Domain,expert system) Remote access expert system, pay-per-use network.
The Interpreter and Explainer, (TIE), version 3.5 (Description,knowledge) Language transliteration. Education. Bulletin Board communication.
THE MANAGER'S EDGE (Description,knowledge) Leadership; Participatory Management; Group Dynamics.
THE MAX AUDIOMETRIC TESTING SYSTEM (Description,expert system) Medical diagnosis.
TML Genealogy System (Purpose,expert system) Genealogy.
Towa Mold Press Diagnostic & Maintenance Expert System (TMES) (Description,expert system) electronic, mechanical, pneumatic & hydraulic diagnostics.
TWAICE (Domain,knowledge) knowledgebased system
UBL (Description,knowledge)
UTI (Purpose,expert system) medical treatment
View Creation System (Description,expert system) Database design
WIESSE (Description,expert system) Water Engineering Expert Systems
XPL (eXplanation for ProLog) (Purpose,expert system) Expert System Shells
ZEXPERT (Purpose,expert system) Finance

An Automated Legal Reasoning System on Indian Governement's Reservation Policy for Scheduled Castes and Scheduled Tribes (Purpose,decision) Legal Reasoning.
ASK (Associative System Kentek) (Description,decision) Industrial Data Analysis and Management Information Systems.
CAS/FPS - Computer-Aided Synthesis of Flexible Production Scheduling. (Description,decision) Production Planning and Scheduling of Multiproduct (Batch) Plants.
CPLAN (Description,decision) Planning.
DAMOCLES - Damage Monitoring and Control Expert System. (Description,decision) Damage control, fire-fighting, stability and buoyancy.
EUREX (Description,decision) Law
EVA (Description,decision) Automatic aquisition of knowledge in order to build and expert system.
GASMAD (Purpose,decision) Maintenance decision support in gas distribution strategies.
HAMP (Description,decision) Shipping scheduling
McExpert (Purpose,decision) Decision Support
MMI2 (Description,decision) Multimodal interfaces / Expert systems
Optimist (Description,decision) Oil exploration
OPUSPC (Purpose,decision) Airline Planning
OSM (Purpose,decision) Medical information systems
OTAS (Purpose,decision) Financial
PDM (Domain,decision) Used to define an intelligent model construction assistant to decision support systems designed to support production and distribution planning.
PFT (Description,decision) Chemical industry.
PHARGEST. (Domain,decision) inventory management (drugs), decision support
Pre-Printed Blankrupter (Domain,decision) Legal forms processing and decision making.
PRECIS (Description,decision) Systems analysis and design
SECReTS (Purpose,decision) Financial advice
SIPS (Description,decision) CIM, QA, Education, Artificial Intelligence.
SKOL EXPERT (Description,decision) Education.
THE MANAGER'S EDGE (Description,decision) Leadership; Participatory Management; Group Dynamics.
US Export Control Expert System (Description,decision) Shipping regulations
UTI (References,decision) medical treatment
Vascular Surgery decision support (Purpose,decision) Medical decision support

A Code Generator for Database Applications in Prolog. (Purpose,language) CASE Tools
ADAM (Description,program) General purpose object-oriented database, with emphasis on extensibility with new modelling constructs by using metaclasses. Comes with simple persistent store.
ADES (ATP Design Expert System) (Description,language) Logic Circuit Design.
Aditi Compiler (Purpose,language) Deductive Databases
ADRAM (after an ICL program of the same name). (Description,program) Data Conversion.
AFARS - Asset Forfeiture advisor and reporting system (Purpose,program) Criminal Justice; Law enforcement
ALBERTUS (Description,program) Computer based training of Physics.
ALTES (Description,compil) Mainframe Tuning.
An Automated Legal Reasoning System on Indian Governement's Reservation Policy for Scheduled Castes and Scheduled Tribes (Description,program) Legal Reasoning.
ARIES (Purpose,language) M.I.S.
ASIGNA (Purpose,program) Chemical processes scheduling
ATR Trainer (Purpose,language) Training
AUNT (Purpose,language) Electronics Design
Automatic Porting DNS -> CNS (Description,compil) Automatic translating of specific software.
BATEX (Description,language) Building Design
BEARING (Purpose,program) Mechanical Engineering
BinProlog (Description,compil) Programming Language Implementation
BIS/Estimator System (Description,program) Data Processing management
BUP (Purpose,language) computational linguistics
CAD tools in electronic engineering (Purpose,program)
CAD tools in mechanical engineering (References,program) CAD
CAPTAINS (Description,program) Scheduling.
CAT2 (Description,language) Fully automatic translation of informative texts; emphasis has been on European Commission texts, as well as general purpose texts.
CATS/DIANA (Description,program) Electronic diagnosis
CELLBUILDER. It comprises several programs, the main one of which (and the only one using Prolog) was called cellmapper. (Purpose,program) Communications
Chemical Information System (Description,program) Chemistry
CLARE/CLE (Purpose,language) Natural Language Processing, particularly interactive.
Cobol Program Generator (Description,program) Software applications
Conceptual Graph Tools (CGT) (Description,language) Knowledge Representation.
Coronary Network reconstruction (Description,program) Medical investigation
CPE (Purpose,program) Knowledge Based Programming Automation of Programming Engineering Problems
CVE (Description,compil) Digital design
DART (Domain,program) Analysis of concurrent programs
DAS (Description,program) Financial statistics
Data flow in Parlog (Description,program) Systems design
DATIN (Description,program)
DBKUNDAR (Purpose,program) Customer support and follow-up, for sales people.
Declarative graphics (Description,program) computer graphics
DELBOLISM (Description,program) Computer architecture design
DESA - Desassembler of VSLI circuits (Purpose,program) CAD of VLSI circuits.
Detect5.pro (Domain,language) Natural language processing
DFT Spectral Analysis. (Description,program) Digital Signal Processing Analysis and Simulation.
DOKSI (Description,program) Documentation support
Drug interactions system (References,program) Pharmaceutical Industry
DUALS (Purpose,language) linguistics
DYNAMIC - system (Description,program) Locking and physical access control to buildings and facilities.
EhLogico. (Description,language) Automated Theorem Proving, Cooperative Interfaces for Knowledge-Based Systems.
Electronic Catalog Construction Kit v3.04 (Description,program) Electronic marketing and sales.
ELMA (Description,language) Library Management
EMEX (Description,program) Strategic Marketing.
EMICAT (Description,program) CASE Tool
EMS (Description,program) Manufacturing Scheduling
ERGOPRO (Description,program) Occupational Medicine
Erlang (Purpose,program) PAR
ESAP (Purpose,program) Safety and Risk analysis (nuclear stations, transport etc.)
ESFA (Description,program) Electronic design
EUODHILOS (Purpose,language) Symbolic proofs
1.7MB (Purpose,language) Symbolic proofs
EUREX (Description,language) Law
EVAL (Description,language) Financial Analysis and Evaluation
FAIRCHILD prototyping system (Description,program) Electronics design
Fantasy Basketball (Description,program) Sports statistics
FARGETZT (Description,program) Programming utility.
FAULTY (Description,program) Fault isolation aid.
FLiPSiDE (References,program) Distributed AI
FORMALL (Description,program) Form processing.
FORMZ (Description,program) Form Processing.
FRENCHIP (Description,language) Electronic design
FuPlan (Description,language) Engineering of Automated Building Management Systems.
GALOP (Purpose,language) computational linguistics
Gene Sequence Alignment (Description,language) Biological Research
Generalized Query System (Description,program) database front-end, system integration
Generator of Cobol programs for Data Validation (Description,program) Software applications
geons (Description,program) Computer vision
GEX-Tool (Description,language) electronic assembly
Git'N GO P.O.S & Inventory System (Description,program) Business Application.
Grammar Development Tool (Domain,language) Natural language processing.
Graphical Front Ends (Description,language) Electronic design; data modelling
GraphicKnowledge (Description,program) Geographic Information Systems (GIS).
GROG - General Recognition Of Gates in VLSI circuits (Description,program) CAD of VLSI circuits.
GRONPAR (Domain,program) Genetic research, parallel programming.
HESS (House Estimating System) (Description,program) Construction Estimating
HOSROS (Description,program) Health.
HPLus (Purpose,program) Computer Based Training
HPSG-PL (Domain,language) Computational linguistics, natural language parsing.
Human Rights Hypertext System (Description,program) International Relations, Education.
IBM SAA LanguageAccess (Domain,language) Natural language processing.
IF/Man (Purpose,program) Text analysis.
INDICAID (Intelligent diagnostic computer aid) (Description,program) Trouble-shooting in technical installations.
Initial growth model for radiata pine in the Central North Island (Description,program) Forest management
IPHONE (Description,program) Office Automation.
JUMAN (Purpose,language) Natural Language Processing
KALIPSOS (Purpose,language) User interfaces
KAMIIH (Kasmoc Models programming environment (References,language) Engineering drawing in 2D and 3 D
KANAL (KArlsruhe NArrowing Laboratory) (Domain,program) Logic-functional programming.
KANN (KArlsruhe Normal Narrowing) (Domain,language) Used as declarative language for general purposes like PROLOG itself.
Karyotype parser (Description,program) Genetics Research
KNOWLEDGE EDITOR 3.20 (Description,program) Computer Based Training.
KONFIRM (Description,program) Database for church use.
KORE/IE (Description,compil) Expert systems
KORNPLAN (Description,program) Logistics
L-Form (Description,program) Form Processing.
LanguageAccess (Purpose,language) cross industry
Laser Blankrupter (Description,program) Legal forms processing.
LDM (Description,program) Software development tools
Leonardo (Description,language) Database interface
LEX1 (Description,language) Legal expert system
Linear Objects (LO) (Purpose,program) Computer systems
LMT (References,language) Machine translation
LMTX (Description,language) Machine translation
LOGICLANDIA (Description,language) Education, more precisely the teaching of predicates logic.
LOPSTER (LOgic Programming with SubTypes and Extended Resolution) (Domain,language) Used as declarative language for general purposes like PRO LOG itself.
Loqui (Purpose,language) NL
Machine Assisted Terminology Elicitation Environment. (References,language) Translation.
||MAPLE|| (speak: parallel Maple) (Description,program) Symbolic mathematics
MASS-C (Mechanical Assembly Sequence Satisfiability-Checker) (Purpose,program) Mechanical Assembly Sequence Planning.
Master Project Coordinating Program (Description,program) Intelligent Computer-Aided Building Design.Computer Integrated Construction using Component-Based Building Systems.
MATRUSKA (Description,program) Language Research
McExpert (Purpose,program) Decision Support
MedPro (Description,program) Medical records and billing.
MEGALOG (Purpose,program) Database implementation
MIS (Purpose,program) Program synthesis
Mixtus 0.3.3 (Description,program) CASE Tool
MM4 Weather Modelling System (Description,program) Weather Forecasting
MODGEN 2.0-model generator for chemical processes. (Description,program) Dynamic Simulation.
Mondel Development Environment (Purpose,language) Object-oriented specification development: Compiling, execution, and validation.
MOP2 (Purpose,program) Project management, manpower planning and recording
Morphological Analysis of Hungarian Texts (Domain,language) Natural language
Morse (Description,program) Education.
MTN (Description,language) Teleprocessing Networks
MULTI (Purpose,language) Software Development, Electronic CAD Tool development.
N Derivatives of Composite Real Functions (Description,program) Mathematics
Network Management (Description,program) Retail network management
Oceanic (Purpose,program) Insurance systems design
Opium (Description,program) CASE tool
PARAFLOG (Purpose,language) Dataflow Modelling
PC-PARLOG and MAC PARLOG (Domain,program) Parallel programming
PCM (Purpose,program) Program development, configuration management
PCUBE or P3 (Description,language) Production and other scheduling.
Peptides Model Prediction System (Description,program) Pharmaceutical research
PERSONAL CASHFLOW (Purpose,program) Personal financial analysis.
Personal Notekeeper (Description,program) Intelligent Text-retrieval for multilingual Documents; Secure Electronic Notebook.
PHARGEST. (Description,program) inventory management (drugs), decision support
PHILO THE LOGICIAN. (Description,program) Introductory logic classes in which students are required to translate English sentences into truth-functional formulas.
Pictorial Janus (Purpose,program) Program Visualization
PLANE: PLANIFICATION EVOLUTION (Description,language) Scheduling.
Planning (more than) one-level buildings (Description,program) Architecture, Planning
PLASMA (Purpose,program) Re-Engineering.
PLASYNT (Description,program) Combinational logic synthesis
PLEX (Description,program) Software Development.
Practitioner Awards KBS (Description,program) Pensions administration
Pre-Printed Blankrupter (Description,program) Legal forms processing and decision making.
PRESS (Purpose,program) Programming Language Interpreters
Print-A-Form (Description,program) From Processing.
Pro-Sylvia (Description,program) Agriculture
PROCUT (Description,program) Building and woodworking industry.
PROGART (Purpose,program) Software applications
PROLOG VERIFIER (Purpose,program) Program verification
Prolog-D-Linda (Description,program) Parallel Prolog Programming.
PROM (Purpose,program) Systems Programming/ Computer architecture
Prometheus (Description,language) Expert Systems Toolkit.
Protein Structure Prediction (Description,program) Molecular biology
PYTHON (Description,program) Problem Solving Methodologies.
QD-Janus (Domain,program) programming language implementation.
Rapidforms Forms Template - Contractor (Description,program) Form Processing.
Rapidforms Forms Template - Tax Template (Description,program) Form Processing.
Real Time ABLE compiler (Purpose,program) Multi-agent systems domains
RPROLOG - Re-evaluable Prolog . (Purpose,program) Synthesis of Evolutionary Learning Algorithms.
RTSC - Real Time Supervisory Control by structure-based PROLOG program. (Description,program) Real Time Supervisory Control and Database Management.
SAMPLE: The Simplest AI Language Interpreter (Purpose,program) Knowledge Representation
SANOCOR (Description,program) Preventive Medicine
Scrivenerª - A Document Assembly Legal Expert System (Purpose,program) Legal drafting
SD-Scicon Analyst System (Description,program) Computer Aided Software Engineering
SEILBAHN (Description,language) Technical and financial calculation of airial tramways.
SERPES (Description,program) Water Engineering Expert Systems
Simapro (Description,program) Environmental analysis of products.
SIMPOS (Description,program) Operating systems
SIPS (Description,program) CIM, QA, Education, Artificial Intelligence.
Skilaki (Description,compil) Expert systems
SMS (Description,program) Mathematics
Socrate (Description,program) Computer based training.
Software development information system (Description,program) Software development
SP-Motif (Description,program) Graphical User Interface.
SPADE (Description,program) High integrity software.
SRI Business Analysis (Description,program) Systems analysis
STRAND88 Programming System (Purpose,program) practical (symbolic) parallel processing
SYLAE (Purpose,language) expert systems interface
SYLLOG (Domain,language) Deductive database; expert system; natural language query
Symbolic Differentiatio and Integrator (DS) (Purpose,program) Instruction and practical use of Calculus.
SysView (Description,compil) System Administration.
Tangram (Domain,program) Teaching programming
TEMA (Domain,program) Installation program.
Termbase. (Description,language) Natural Language Processing, Computer Aided Translation.
Test Tool (Domain,language) Natural language processing.
TESTING COMPUTER ARCHITECTURES (Purpose,program) Computer architecture design
TEX4 (Description,language) CASE/Document Research.
The Configurer Graphics Service, CGS (Description,language) Automatic Diagram Generation.
The Interpreter and Explainer, (TIE), version 3.5 (Purpose,language) Language transliteration. Education. Bulletin Board communication.
THE MAX AUDIOMETRIC TESTING SYSTEM (Description,program) Medical diagnosis.
The T-Prolog Interpreter (Domain,language) Programming languages
THREAD (Description,program) Any large project where there is a lot of documentation (such as letters, safety reports etc.) where there are many common issues traversing the documents.
Timetable Scheduler. (Description,program) Planning, Scheduling.
TMDS Comm (Tandem Maintenance and Diagnostic System, Communications). (Description,program) Computers System Maintenance and Diagnostics for communications controllers.
TOERNOOI ASSISTENT (Description,program) Sports (tennis). Administration, ranking. planning and scheduling. Tournament optimalisation.
Total Network Management - Event Correlation Package. (Description,language) Telecommunications - network monitoring and troubleshooting.
TransLexis dictionary conversion programs (Description,program) Natural Language Processing
Ushell (Purpose,program) Programming environments
VALERE (Description,program) Environment, Chemical analysis.
Vegetation Management Tools (Description,program) Forest management
VLSI Test pattern generator (Description,program) Electronic design
VORAN/ABS (References,program) Banking advice
WADNES (Description,program) Water Distribution
WALLS (Purpose,program) Engineering design
WFProlog (well-founded Prolog). (Purpose,program) Default reasoning systems needing an underlying inference system (Prolog style interpreter) based on well-founded semantics.
WIESSE (Description,compil) Water Engineering Expert Systems
WSUFP (Domain,program) Language development, parallelism, and functional programming.
XPL (eXplanation for ProLog) (Description,program) Expert System Shells

AFARS - Asset Forfeiture advisor and reporting system (Purpose,law) Criminal Justice; Law enforcement
APEX (Description,legal) Presentation for prospective customer of modular house.
AUTOPROLOG (Description,legal) Legal drafting
DedChem (Description,legal) Organic chemistry
DOFLEX (Dortmund Flexible Legal Expert System Environment) (Purpose,legal)
GUNGA CLERK (Purpose,legal) Legal expert systems.
Laser Blankrupter (Description,law) Legal forms processing.
LEX0 (Purpose,law) Legal expert system
LEX1 (Purpose,law) Legal expert system
LEX2 (Purpose,law) Legal expert system
NORMALIZER (Description,legal) Legal drafting
PLASMA (Description,legal) Re-Engineering.
Pre-Printed Blankrupter (Description,law) Legal forms processing and decision making.
Scrivenerª - A Document Assembly Legal Expert System (Description,legal) Legal drafting
SEILBAHN (Description,law) Technical and financial calculation of airial tramways.
Staff (Description,law) Staff Scheduling
The Interpreter and Explainer, (TIE), version 3.5 (Description,law) Language transliteration. Education. Bulletin Board communication.
XTEL (Description,legal) Techn. configuration.

Air Pollution ControlSystem (Description,research) Pollution Control
CAS/FPS - Computer-Aided Synthesis of Flexible Production Scheduling. (Description,research) Production Planning and Scheduling of Multiproduct (Batch) Plants.
CLARE/CLE (Purpose,research) Natural Language Processing, particularly interactive.
DAS (Description,research) Financial statistics
EXPOD (Description,research) Chemical Design.
FELIX - FEL and Logica Interactive Expertsystem (Description,research) Intelligent Computer Assisted Instruction, Computer Based Training.
geons (Description,research) Computer vision
GRONPAR (Domain,research) Genetic research, parallel programming.
IBM SAA LanguageAccess (Description,research) Natural language processing.
LES - Laboratory Expert System (Description,research) Biomedical Research
Opium (Description,research) CASE tool
Peptides Model Prediction System (Domain,research) Pharmaceutical research
Protee (Domain,research) Biology research
Protein Structure (Domain,research) Genetics research
SIPS (Description,research) CIM, QA, Education, Artificial Intelligence.
The Interpreter and Explainer, (TIE), version 3.5 (Purpose,research) Language transliteration. Education. Bulletin Board communication.
TML Genealogy System (Description,research) Genealogy.

Detect5.pro (Purpose,teaching) Natural language processing
ELMA (Purpose,education) Library Management
EXEGETE (Purpose,teaching) Education in the Humanities.
FELIX - FEL and Logica Interactive Expertsystem (Description,teaching) Intelligent Computer Assisted Instruction, Computer Based Training.
LOGICLANDIA (Purpose,teaching) Education, more precisely the teaching of predicates logic.
NTM (Nurse Teaching Manager) (Purpose,education) Administration
OBIS (Purpose,education) Education configuration.
The Logic Programming Tutor. (Purpose,teaching) Prolog Teaching.
Timetable Scheduler. (Description,teaching) Planning, Scheduling.

CAD tools in electronic engineering (Purpose,engineering)
CAD tools in mechanical engineering (Purpose,engineering) CAD
CARE-X25 (version included in RETAT) (Purpose,engineering) Telecom Network Design & Planning.
KAMIIH (Kasmoc Models programming environment (Description,engineering) Engineering drawing in 2D and 3 D
MISTRAL (Description,engineering) Dam safety.
MODGEN 2.0-model generator for chemical processes. (Purpose,engineering) Dynamic Simulation.
OSM (References,engineering) Medical information systems
REKPERT PLUS (Rectification Knowledge based Expert System. (Description,engineering) Chemical Engineering.
TWAICE (Description,engineering) knowledgebased system

3TAP (References,CAD) Hardware Verification, Natural Language Processing.
ADRAM (after an ICL program of the same name). (Description,architecture) Data Conversion.
CAD tools in electronic engineering (Purpose,engineering)
CAD tools in mechanical engineering (Domain,CAD) CAD
CADRAN (Domain,CAD) CAD.
CARE-X25 (version included in RETAT) (Purpose,engineering) Telecom Network Design & Planning.
CONSULT (Domain,CAD) CAD
DELBOLISM (Domain,architecture) Computer architecture design
DESA - Desassembler of VSLI circuits (Domain,CAD) CAD of VLSI circuits.
DESBAT (References,architecture) Architectural design
EXCAP (Description,CAD) Process planning
Generalized Query System (Purpose,architecture) database front-end, system integration
Graphical Front Ends (Purpose,CAD) Electronic design; data modelling
GROG - General Recognition Of Gates in VLSI circuits (Domain,CAD) CAD of VLSI circuits.
KAMIIH (Kasmoc Models programming environment (Description,engineering) Engineering drawing in 2D and 3 D
MCDS ? (Description,CAD) manufacturing systems
MISTRAL (Description,engineering) Dam safety.
MODGEN 2.0-model generator for chemical processes. (Purpose,engineering) Dynamic Simulation.
MULTI (Domain,CAD) Software Development, Electronic CAD Tool development.
Multipurpose Substation Simulator Shell (MPSSS) (Description,CAD) Power Systems Training Analysis
OSM (References,engineering) Medical information systems
PIAF (Description,CAD) Electronic Design.
Pictorial Janus (Description,CAD) Program Visualization
PPLC 2.0 - flexible process control by Prolog represented higher order Petri-nets . (Description,architecture) Process Control.
PROM (Domain,architecture) Systems Programming/ Computer architecture
Prometheus (Description,architecture) Expert Systems Toolkit.
REKPERT PLUS (Rectification Knowledge based Expert System. (Description,engineering) Chemical Engineering.
RTSC - Real Time Supervisory Control by structure-based PROLOG program. (Description,architecture) Real Time Supervisory Control and Database Management.
SysView (Description,architecture) System Administration.
TESTING COMPUTER ARCHITECTURES (Domain,architecture) Computer architecture design
TMDS Comm (Tandem Maintenance and Diagnostic System, Communications). (Description,architecture) Computers System Maintenance and Diagnostics for communications controllers.
TWAICE (Description,engineering) knowledgebased system

ADW Knowledge Coordinator (References,customer) Systems development
ALBERTUS (Description,problem) Computer based training of Physics.
APEX (Domain,customer) Presentation for prospective customer of modular house.
ASIGNA (Description,problem) Chemical processes scheduling
CAD tools in electronic engineering (References,problem)
CAS/FPS - Computer-Aided Synthesis of Flexible Production Scheduling. (Description,problem) Production Planning and Scheduling of Multiproduct (Batch) Plants.
Chemical resource allocation (References,problem) Manufacturing planning
Cobol Program Generator (Description,problem) Software applications
DART (Description,problem) Analysis of concurrent programs
DBKUNDAR (Domain,sales) Customer support and follow-up, for sales people.
DES (Description,problem) Electronic manufacture
DIAVOLA (Description,problem) Mechanical Engineering:Failure Diagnosis,Product Training.
DINSA HPP and Stocks (Description,sales) Decision support for stocks management.
Electronic Catalog Construction Kit for Windows v1.0 (Domain,sales) Electronic marketing and sales.
Electronic Catalog Construction Kit v3.04 (Domain,sales) Electronic marketing and sales.
EMEX (Description,sales) Strategic Marketing.
ESFA (References,customer) Electronic design
EVA (Description,problem) Automatic aquisition of knowledge in order to build and expert system.
FAULTY (Description,problem) Fault isolation aid.
FIM (Domain,sales) Front office sales of investment funds.
GEX-Tool (Description,problem) electronic assembly
Git'N GO P.O.S & Inventory System (Description,sales) Business Application.
GraphicKnowledge (Description,problem) Geographic Information Systems (GIS).
HAPPS (Description,customer) Production management system.
HAPPS, TAPPS and MAPPS (Description,customer)
Infologics Faultfinder System (Description,customer) Service Engineering
KORNPLAN (Description,problem) Logistics
LIMBO - Line Maintenance Bottleneck Detection (Description,problem) Airline Fleet Management
LOGICLANDIA (Description,problem) Education, more precisely the teaching of predicates logic.
Master Project Coordinating Program (Description,problem) Intelligent Computer-Aided Building Design.Computer Integrated Construction using Component-Based Building Systems.
Member Risk System (Purpose,customer) Financial Analysis.
MODGEN/HPLC - Modeling Preparative High Performance Liquid Chromatography. (Description,problem) Simulation of Preparative HPLC.
Oceanic (References,customer) Insurance systems design
PCUBE or P3 (Description,problem) Production and other scheduling.
PLANE: PLANIFICATION EVOLUTION (Description,problem) Scheduling.
Planning (more than) one-level buildings (Description,customer) Architecture, Planning
Prof'Expert (Description,problem) Computer based training.
Prolog-D-Linda (Description,problem) Parallel Prolog Programming.
PYTHON (Description,problem) Problem Solving Methodologies.
REKPERT PLUS (Rectification Knowledge based Expert System. (Description,problem) Chemical Engineering.
RTSC - Real Time Supervisory Control by structure-based PROLOG program. (Description,problem) Real Time Supervisory Control and Database Management.
SAMPLE: The Simplest AI Language Interpreter (Purpose,problem) Knowledge Representation
Scheduling and Planning (Description,customer) Car Manfacturing
SOLITAIRE FOUNDATION PLANNING (Description,problem)
Speech synthesis (Description,problem) Speech synthesis
Spiral Menu (Domain,customer) Sprial menu is a graphics user interface, hence a general purpose routine. Most efficient use will be in applications where items to select may be arranged in alphabetical or numerical order, or some other logical order like menus, directories, customer decks, geographic indexes, lexical collections, catalogues, etc.
TAPPS (Description,customer) Production management system.
TEMA (Description,customer) Installation program.
The Configurer Graphics Service, CGS (Purpose,sales) Automatic Diagram Generation.
THE INSPECTION NETWORK (Description,customer) Remote access expert system, pay-per-use network.
THREAD (Description,problem) Any large project where there is a lot of documentation (such as letters, safety reports etc.) where there are many common issues traversing the documents.
Timetable Scheduler. (References,problem) Planning, Scheduling.
TMDS Comm (Tandem Maintenance and Diagnostic System, Communications). (Purpose,problem) Computers System Maintenance and Diagnostics for communications controllers.
Total Network Management - Event Correlation Package. (Description,customer) Telecommunications - network monitoring and troubleshooting.
TWAICE (Description,problem) knowledgebased system
UBL (Purpose,problem)
Ushell (Description,problem) Programming environments
WHALE (Description,customer) Logistic.

Air Sheduler (Description,real-time)
DME(Distance Measuring Equipment)SIMULATOR (Description,real-time) Real Time simulation.
Mondel Development Environment (Description,real-time) Object-oriented specification development: Compiling, execution, and validation.
Multipurpose Substation Simulator Shell (MPSSS) (Description,real-time) Power Systems Training Analysis
OPUSPC (Description,real-time) Airline Planning
RTSC - Real Time Supervisory Control by structure-based PROLOG program. (Description,real-time) Real Time Supervisory Control and Database Management.

ADP (Arc Welding Diagnosis and Planning System. (Description,schedul) Design Manufacturing Systems
APACHE (Description,schedul) Interactive Scheduling.
ASIGNA (Domain,schedul) Chemical processes scheduling
BIS/Estimator System (Description,schedul) Data Processing management
CAD tools in mechanical engineering (Description,schedul) CAD
CAPS - Computer Aided process Scheduling (Purpose,schedul) Intelligent Databases
CAPTAINS (Purpose,schedul) Scheduling.
CAS/FPS - Computer-Aided Synthesis of Flexible Production Scheduling. (Purpose,schedul) Production Planning and Scheduling of Multiproduct (Batch) Plants.
ELKARLAN (Purpose,schedul) Train maintenance centres and parts replacement floor shop.
EMS (Description,schedul) Manufacturing Scheduling
ENDELON (Description,schedul) Project management.
Expert system for production planning (Purpose,schedul) Process Planning
FEREL-FERTIGUNGSREGELUNG (Purpose,schedul) CAM
HAMP (Domain,schedul) Shipping scheduling
HOSROS (Description,schedul) Health.
LIMBO - Line Maintenance Bottleneck Detection (Description,schedul) Airline Fleet Management
Loganair Scheduler (Domain,schedul) Airline scheduling
MCDS ? (Description,schedul) manufacturing systems
OMAR (operative management of aircraft bouting). (Description,schedul) Aircraft Scheduling.
PCUBE or P3 (Domain,schedul) Production and other scheduling.
PLANE (Purpose,schedul) Production planning.
PLASTIC (Description,schedul) Train control centre.
PROCAPS (Domain,schedul) Electronic scheduling
PROCUT (Description,schedul) Building and woodworking industry.
PROSPEX (Purpose,schedul)
SimSched (Purpose,schedul) Design and control of Flexible Manufacturing Systems.
Staff (Purpose,schedul) Staff Scheduling
Timetable Scheduler. (Description,schedul) Planning, Scheduling.
TOERNOOI ASSISTENT (Domain,schedul) Sports (tennis). Administration, ranking. planning and scheduling. Tournament optimalisation.

AFARS - Asset Forfeiture advisor and reporting system (Description,drug) Criminal Justice; Law enforcement
Calculation of Physico-chemical Parameters (Purpose,drug) Pharmaceutical industry
Chemical Information System (References,drug) Chemistry
Drug interactions system (Purpose,medical) Pharmaceutical Industry
HOSROS (References,medical) Health.
INTERACT (Purpose,drug) medical prescription
ISCN Expert (References,medical) Health
LES - Laboratory Expert System (Description,medical) Biomedical Research
Medical Expert Diagnostic System (Description,medical) Medical - GP
MESSE (Domain,medical) medical treatment
OSM (Description,medical) Medical information systems
PHARGEST. (Purpose,medical) inventory management (drugs), decision support
Practitioner Awards KBS (Description,medical) Pensions administration
Print-A-Form (Description,medical) From Processing.
Sesam-Chimio Hypertext system (Purpose,medical) Medical information
The Interpreter and Explainer, (TIE), version 3.5 (Description,medical) Language transliteration. Education. Bulletin Board communication.
THE MAX AUDIOMETRIC TESTING SYSTEM (Purpose,medical) Medical diagnosis.
UTI (Description,drug) medical treatment

AALPS (Description,expert) Aircraft planning
ADES (ATP Design Expert System) (Description,expert) Logic Circuit Design.
AFARS - Asset Forfeiture advisor and reporting system (Description,expert) Criminal Justice; Law enforcement
AGATHA (Description,expert) Electronic Diagnosis
An Automated Legal Reasoning System on Indian Governement's Reservation Policy for Scheduled Castes and Scheduled Tribes (Description,expert) Legal Reasoning.
ASTROLIZA / Aastro Brain Base (Description,expert) Is used in Holland, Belgium, Germany, Austria and Switzerland by professional astrologs who use it both for analysis and interpretaion of birth charts.
ATR Trainer (Description,expert) Training
AUTOPROLOG (Description,expert) Legal drafting
BATEX (Purpose,expert) Building Design
BEACON (Description,expert) Computer manufacture
Biomarker (Description,expert) Geochemistry for Oil Exploration.
BIS/Estimator System (Description,expert) Data Processing management
CAPS - Computer Aided process Scheduling (Description,expert) Intelligent Databases
CASEy (Domain,expert) expert system, manufacturing
Cast Component (Description,expert) Manufacturing design
DAMOCLES - Damage Monitoring and Control Expert System. (Description,expert) Damage control, fire-fighting, stability and buoyancy.
DECIBAC (Purpose,expert) Expert systems
DES (Description,expert) Electronic manufacture
DUST-EXPERT (Description,expert) Design of Vents for explosion relief.
EDF (Description,expert) Power generation
EMEX (Description,expert) Strategic Marketing.
EMICAT (Description,expert) CASE Tool
ERS-1 Payload system (Description,expert) Aerospace planning
ESFA (Description,expert) Electronic design
ESTA (Purpose,expert) Expert system
EUREX (Description,expert) Law
EVA (Domain,expert) Automatic aquisition of knowledge in order to build and expert system.
EVAL (Description,expert) Financial Analysis and Evaluation
Expert system for production planning (Description,expert) Process Planning
EXPOD (Description,expert) Chemical Design.
FELIX - FEL and Logica Interactive Expertsystem (References,expert) Intelligent Computer Assisted Instruction, Computer Based Training.
Generalized Query System (Description,expert) database front-end, system integration
GESER (Description,expert) Ship design
GEX-Tool (Purpose,expert) electronic assembly
GROG - General Recognition Of Gates in VLSI circuits (Purpose,expert) CAD of VLSI circuits.
GUNGA CLERK (Domain,expert) Legal expert systems.
Infologics Faultfinder System (Description,expert) Service Engineering
ISCN Expert (Description,expert) Health
KALIPSOS (Description,expert) User interfaces
LEX0 (Domain,expert) Legal expert system
LEX1 (Domain,expert) Legal expert system
LEX2 (Domain,expert) Legal expert system
LTUTOR (Description,expert) Legal
MCDS ? (Description,expert) manufacturing systems
Medical Expert Diagnostic System (Description,expert) Medical - GP
MEES. (Description,expert) Expert System.
MINOTAURO 1000 (Purpose,expert) Train dispatching and control.
MINOTAURO 3000 (Purpose,expert) Train dispatching and control.
MISTRAL (Description,expert) Dam safety.
MMI2 (Description,expert) Multimodal interfaces / Expert systems
Nestor (Purpose,expert) Corrective maintenance of telecom switching equipment
NORMALIZER (References,expert) Legal drafting
Oceanic (Description,expert) Insurance systems design
Optimist (Description,expert) Oil exploration
OTAS (Description,expert) Financial
PigE (Purpose,expert) farm management.
PLANE: PLANIFICATION EVOLUTION (Description,expert) Scheduling.
Prof'Expert (Description,expert) Computer based training.
Prometheus (Description,expert) Expert Systems Toolkit.
PYTHON (Description,expert) Problem Solving Methodologies.
REKPERT PLUS (Rectification Knowledge based Expert System. (Purpose,expert) Chemical Engineering.
SAMPLE: The Simplest AI Language Interpreter (Purpose,expert) Knowledge Representation
Scrivenerª - A Document Assembly Legal Expert System (Purpose,expert) Legal drafting
SEAP (Systeme expert d'alerte precoce). (Description,expert) Famine Prediction
SECReTS (Description,expert) Financial advice
SEXSY (Studiefinancierings EXpert Systeem // Scholarship Expert System) (Description,expert) Expert system, legislation on scholarships.
SIPS (Description,expert) CIM, QA, Education, Artificial Intelligence.
SIRIUS (Purpose,expert) Train dispatching and control.
Skilaki (Purpose,expert) Expert systems
SKOL EXPERT (Purpose,expert) Education.
Staff (Description,expert) Staff Scheduling
SYLAE (Domain,expert) expert systems interface
SYLLOG (Domain,expert) Deductive database; expert system; natural language query
THE INSPECTION NETWORK (Domain,expert) Remote access expert system, pay-per-use network.
THE MANAGER'S EDGE (Description,expert) Leadership; Participatory Management; Group Dynamics.
THE MAX AUDIOMETRIC TESTING SYSTEM (Description,expert) Medical diagnosis.
TML Genealogy System (Purpose,expert) Genealogy.
Towa Mold Press Diagnostic & Maintenance Expert System (TMES) (Description,expert) electronic, mechanical, pneumatic & hydraulic diagnostics.
TWAICE (Description,expert) knowledgebased system
UTI (Purpose,expert) medical treatment
Vegetation Management Tools (Description,expert) Forest management
VEX/ATL (Description,expert) Planning in distributed networks
View Creation System (Description,expert) Database design
WIESSE (Description,expert) Water Engineering Expert Systems
XPL (eXplanation for ProLog) (Purpose,expert) Expert System Shells
XTEL (References,expert) Techn. configuration.
ZEXPERT (Purpose,expert) Finance

A Code Generator for Database Applications in Prolog. (Purpose,tool) CASE Tools
ADES (ATP Design Expert System) (Description,tool) Logic Circuit Design.
ADW Knowledge Coordinator (Description,tool) Systems development
Automatic Porting DNS -> CNS (Purpose,tool) Automatic translating of specific software.
CAD tools in electronic engineering (Purpose,tool)
CAD tools in mechanical engineering (Purpose,tool) CAD
CARE-X25 (version included in RETAT) (Description,tool) Telecom Network Design & Planning.
CASEy (Description,tool) expert system, manufacturing
CAT2 (Description,tool) Fully automatic translation of informative texts; emphasis has been on European Commission texts, as well as general purpose texts.
Chemical Information System (Purpose,tool) Chemistry
CPE (Description,tool) Knowledge Based Programming Automation of Programming Engineering Problems
CVE (Purpose,tool) Digital design
DECIBAC (Purpose,tool) Expert systems
Declarative graphics (Description,tool) computer graphics
DESA - Desassembler of VSLI circuits (Description,tool) CAD of VLSI circuits.
Detect5.pro (Purpose,tool) Natural language processing
EMANON (Purpose,tool) CASE
ESTA (Description,tool) Expert system
EUREX (Description,tool) Law
Expert system for production planning (Description,tool) Process Planning
Grammar Development Tool (Purpose,tool) Natural language processing.
Graphical Front Ends (Purpose,tool) Electronic design; data modelling
GROG - General Recognition Of Gates in VLSI circuits (Description,tool) CAD of VLSI circuits.
HPLus (Description,tool) Computer Based Training
Hypertext Toolbox (Description,tool) Hypertext system
ICEBERG ELECTRIC (Description,tool) Electrical dispatching.
Infologics Faultfinder System (Description,tool) Service Engineering
KANAL (KArlsruhe NArrowing Laboratory) (Description,tool) Logic-functional programming.
LDM (Domain,tool) Software development tools
LIMBO - Line Maintenance Bottleneck Detection (Description,tool) Airline Fleet Management
Linear Objects (LO) (Description,tool) Computer systems
Machine Assisted Terminology Elicitation Environment. (Description,tool) Translation.
MIS (Description,tool) Program synthesis
MODGEN 2.0-model generator for chemical processes. (Description,tool) Dynamic Simulation.
Mondel Development Environment (Description,tool) Object-oriented specification development: Compiling, execution, and validation.
OF (Description,tool) Activity Planning
Opium (Domain,tool) CASE tool
OPUSPC (Description,tool) Airline Planning
PCM (Description,tool) Program development, configuration management
PCUBE or P3 (Description,tool) Production and other scheduling.
PIAF (Description,tool) Electronic Design.
Pictorial Janus (Description,tool) Program Visualization
PLANE (Description,tool) Production planning.
PLASMA (Purpose,tool) Re-Engineering.
PRECIS (Purpose,tool) Systems analysis and design
ProdAction (Description,tool) Finite Capacity Scheduling in Discrete Manufacturing Industries.
Prometheus (Purpose,tool) Expert Systems Toolkit.
REPROBATE (Description,tool) Validation.
ROADS (Purpose,tool) Communication networks; private exchanges
SAME (Description,tool) Systems design
Scrivenerª - A Document Assembly Legal Expert System (Description,tool) Legal drafting
SD-Scicon Analyst System (Description,tool) Computer Aided Software Engineering
See Mail, Version 1.3 (Domain,tool) Communications and Networking, group work support tools.
SEXSY (Studiefinancierings EXpert Systeem // Scholarship Expert System) (Purpose,tool) Expert system, legislation on scholarships.
SPADE (Description,platform) High integrity software.
STRAND88 Programming System (Description,tool) practical (symbolic) parallel processing
Termbase. (Description,tool) Natural Language Processing, Computer Aided Translation.
Test Tool (Purpose,tool) Natural language processing.
TESTING COMPUTER ARCHITECTURES (Description,tool) Computer architecture design
TEX4 (Description,tool) CASE/Document Research.
The Interpreter and Explainer, (TIE), version 3.5 (Purpose,tool) Language transliteration. Education. Bulletin Board communication.
TopNet (Description,tool) Network design
TWAICE (Description,tool) knowledgebased system
VLSI Test pattern generator (Description,tool) Electronic design
WHALE (Description,tool) Logistic.
XWIN (Purpose,tool) Graphical interface.
Ytoolkit (Description,tool) Graphics

ACAPS Loan Printing System (Domain,loan) loan paperwork production.
CLIENT RISK MANAGEMENT (Purpose,bank) Risk handling in Bank front office, middle office and central office.
Direct Guide Insurance System (Purpose,bank) Insurance administration.
FAULTY (Description,bank) Fault isolation aid.
FIM (Purpose,bank) Front office sales of investment funds.
Laser Blankrupter (Purpose,bank) Legal forms processing.
Machine Assisted Terminology Elicitation Environment. (Description,bank) Translation.
Member Risk System (Purpose,credit) Financial Analysis.
Pre-Printed Blankrupter (Purpose,bank) Legal forms processing and decision making.
RIGEN (Description,bank) Financial Modelling
SECReTS (Purpose,bank) Financial advice
SEXSY (Studiefinancierings EXpert Systeem // Scholarship Expert System) (Description,loan) Expert system, legislation on scholarships.
VORAN/ABS (Purpose,bank) Banking advice

ERS-1 Payload system Expert system for planning the payload of the ERS-1 earth observation satellite.
Macmillan Rehabilitation ? To aid disabled people to configure and maintain appropriate settings on computer input devices
EXCAP A Kowledge-based system which automates process planning for computer aided design of turning operations in numerically controlled machining
Knowledge-based Image analysis system visual quality control in the production of complete parts
FAUST on-line diagnosis of faults in the elctricity supply on the National Grid
Medical Expert Diagnostic System
SECReTS supporting senior decision makers within bankers organisations
SRI Business Analysis
PRECIS Analysis and CASE tool
Cast Component Optimise component design time in motor industry and check casting
BIS/Estimator System
View Creation System Design of datbases used by large complex organizations
EDF Real-time centralised control and maintenance of hydro-electric power plants
Graphical Front Ends Provide a graphical front end to internal ECAD design tools
US Export Control Expert System To determine US license requirements for shipments
CONTRALTO To help freight transporters find a solution which best matches demand and usage constraints
KALIPSOS converting natural language sentences into a rigorous formal representation in order to allow deduction and information retrieval
HAMP Dynamic voyage scheduling for tankers etc.
ESTA En expert system shell for the construction of Advisory systems
FAIRCHILD prototyping system Rapid prototyping of chip design
LES - Laboratory Expert System Expert System for Designing PC Boards
PROCAPS support and control the planning and scheduling of production lines of electronic components
MEGALOG a persistent logic programming environment
Scrivenerª - A Document Assembly Legal Expert System an expert system based document assembly program
Machiavelli Sales planner
SYLAE natural language generation interface for expert systems etc.
ARCHON Cooperation in Industrial Systems
Scheduling and Planning
AALPS A load planning system for aircraft cargo
MacLogic Teaching of systems of natural deduction in logic
BEACON Configuration of computer systems
DtoP provide an integrated product description through all phases of manufacturing from conception to manufacture
Network Management
REDO Window Manager An Intelligent Software Maintenance Management System
CK Expert Modeller To interpret and manipulate data from the CK cognitive Modeller system
Fantasy Basketball Maintains Routisserie/Fantasy Basketball leagues; keeps weekly NBA statistics in a Prolog database; ranks NBA players and teams.
Speech synthesis high quality speech synthesis system
Coronary Network reconstruction 3-D reconstruction and labelling of coronary networks from X- ray projections
FOM Expert system for hotel managers
PHRASE Human reliability Analysis.
Sonar performance Optimization of sonar performance
DECIBAC A hybrid expert system tool
Loqui A new approach to natural language interfaces
THREAD Intelligent document tracking database.
Hypertext Toolbox To provide the building blocks to develop a hypertext system
Infologics Faultfinder System
CATS/DIANA diagnosis of analog electronic circuits
LIMBO Aircraft maintenance planning
DAS Performing statical analysis of financial information
AJAX Administering payments for civil servants
NTM (Nurse Teaching Manager) Planning and documentation of the education of nurses at German hospitals.
PROSPEX process scheduling and planning system for the food, chemcial and petrochemical industries.
UBL A problem solver with learning capabilities
TopNet an environment to support network design tasks
GEX-Tool an environment for developing large diagnostic expert systems
Loganair Scheduler Help in planning and calculation of flight crew duty rosters for airline
Leonardo Intelligent front end to free text database
PROMOTEX Breakdown diagnosis for siz-cylinder Mercedes engines equipped with Bosch ignition
Expert system for production planning providing an integrated planning and scheduling functionality for complex chemical processes
ATR Trainer Authoring language for training
FRENCHIP synthesis of logic circuits
Name matching Matching of non-European people's names

MESSE consulting system for advice on special gastroenerological examination

ONE-LEVEL WORKSHOP PLANNER Plans one level workshop buildings using prefabricated panels
Planning of panel buildings Plans the architectural planning of panel buildings

Generator of Cobol programs for Data Validation To generate Cobol code that is used for validating data
PROM Mapping of INTEL 3000 Microprograms
TESTING COMPUTER ARCHITECTURES To generate programs for testing computer architectures
Information retrieval system processing data on pests and pesticides Retrieves and processes data about pests and pesticides
Drug interactions system To predict drug interactions in medical treatment
Calculation of Physico-chemical Parameters To calculate the physico-chemical parameters for drug design purposes

Software development information system An information system for the "Answer" software development system
SMS To simplify mathematical structures
Air Pollution ControlSystem To advise on air pollution levels of county districts
DELBOLISM Evaluates and tests high level architectures
SOLITAIRE FOUNDATION PLANNING To automate the planning of Solitaire Foundation
Chemical Information System Provide logic based tools for the chemical domain
Cobol Program Generator To generate Cobol Programs for data processing

ENZYME SEQUENCER To search for analogous sub-structures of enzyme sequences
DOKSI A documentation support system
Peptides Model Prediction System Calculation of parameters predicting biological activity for peptides
Planning (more than) one-level buildings Supports the planning process of a building with more than one level.

N Derivatives of Composite Real Functions To compute the N derivatives of composite real functions
PROLOG VERIFIER A system to verify Prolog programs
CAD tools in electronic engineering To apply logic programming for CAD tools in electronic engineering
PROGART To analyse programming style and effectiveness of syntactically correct PL/I and COBOL programs

PDS - diagnosis system a declarative debugging system for a subset of Prolog
LDM A logic based development method
Morphological Analysis of Hungarian Texts To analyse the morphology of Hungarian texts.
COMMUNAL The COMMUNAL Project
MIS program synthesis from examples
The T-Prolog Interpreter An interpreter for the language T-Prolog
PARAFLOG Emulate the dataflow language PARAFLOG
CAD tools in mechanical engineering To provide a set of CAD tools for mechanical engineering

SD-Scicon Analyst System provides a complete and automated support system for specifying project requirements

MEES. Economic Simulator.
REKPERT PLUS (Rectification Knowledge based Expert System. REKPERT PLUS consists of several distributed cooperating expert systems to seperate multicomponant mixtures.
HATE Semiautomatic extension of a thesaurus
LEX0 Expert System on German traffic law
Test and modelling of self reproducing biochemical processes To test and model self reproducing biochemical processes
TransLexis dictionary conversion programs Conversion of dictionary entries from and into the TransLexis lexical database
MTN To generate models of teleprocessing networks

TWAICE Open development environment for knowledge based applications.
SIMPOS operating system for the personal sequential inference machine
NORMALIZER
The Logic Programming Tutor. Front-end for teaching Prolog to novices.

Theorist-S a theory formation system
CASEy Expert System that guides shop floor personnel in the correct usage of electrical process specifications.
EMICAT KBS development environment
LMT Machine translation system for English to German
LTUTOR Teaching a Law student about German Civil Law
GemTest To assist in fast, reliable mineral (Gemstone) identification.
Protein Structure represent and reason about protein structure topology
BUP parsing of natural language
DESA - Desassembler of VSLI circuits Structural abstraction of VLSI. This circuit desassembler is fully written in prolog and it is part of a set of programs that perform the abstraction and the verification of the VLSI circuits.
DUALS discourse understanding in natural language
GALOP parsing of natural language
Declarative graphics a grammar-based approach to representing graphics declaratively
VLSI Test pattern generator A hierarchical approach to fault injection as a means of diagnosing VLSI circuits
PHILO THE LOGICIAN. Exercises for translating English sentences into truth- functional logic.

AUTOPROLOG
SPADE To provide formal validation and verification of high- integrity software.
ADRAM (after an ICL program of the same name). Syntax-directed data converter.
WADNES Assist Engineers in Water Distribution Emergencies
THE INSPECTION NETWORK Inspection Analysis.
FORMZ To create, fill in, print, and process pre-printed forms. FORMZ creates an electronic environment for form processing.
DFT Spectral Analysis. Compute Power Spectral Density of Complex Sequences.
SANOCOR Evaluate personal risk of coronary disease
LEX1 Expert System on German traffic law
LEX2 Expert System on German traffic law
SYLLOG Strongly declarative deductive database system; with end-user level knowledge authoring and use. Direct execution of near-English specifications.
PDM Assists in the formulation of Linear Programming models in the Production Planning Domain.
SMES Monitoring a tunnel-drill-machine.
EMEX Assist in building single equation econometric models.
WIESSE Development of Expert Systems for the Water Industry
Termbase. To provide a multilingual terminology management system for translators.
LOPSTER (LOgic Programming with SubTypes and Extended Resolution) Compiler for the order-sorted logical language LOPSTER which is an extension of the KA-Prolog compiler.
Print-A-Form Automates the processing of a unique Deluxe Check Printer's Inc. Form. For example an invoice or check.
SERPES Perform Sewerage Rehabilitation Planning

Marvin Knowledge Based Systems Development Environment.
AUNT Universal hardware description language translator for electronics design
ChemiSafe Handling of directions for use for hazardous chemicals
KNOWLEDGE EDITOR 3.20 General Purpose Training Program.
PCM support Prolog program development, rapid prototyping, configuration management, software re-use, program visualisation
BATEX It is an expert system which helps to make the preliminary studies for the offices buildings, at the stage of the draft.
Prometheus To provide a flexible tool for developing KBS.
SCORE Decision support system for traffic planning and coordination in large airports.
DAMOCLES - Damage Monitoring and Control Expert System. Damocles is supposed to aid a damage control officer aboard a Standard frigate of the Royal Netherlands Navy.
SAME Structured Analysis Modelleling Environment
OTAS a decision support system for analysis of stock options investment stratgies
SKOL EXPERT Introduce pupils to expert systems / logic / automated reasoning.
geons To recognise the class of a 3-D volumetric primitive object in an image description which consists of curve properties and relations.
MM4 Weather Modelling System
INTERACT to give information about possible pharacon/drug interactions
Protein Structure Prediction
Tangram Teaching system for programming
Data flow in Parlog To model and animate dataflow diagrams to produce a prototype system
GUNGA CLERK Substantive legal knowledge-based advisory system in New York State Criminal Law, advising on sentencing, pleas, lesser included offenses and elements.
APACHE Assignment of airplanes to gates at international airports.
Automatic Porting DNS -> CNS It's an automatic porting tool enabling the simultaneous manufacture of the DNS and CNS communication software versions.
FEREL-FERTIGUNGSREGELUNG Shop floor control system - line capacity scheduling.
ACACIA a knowledge-based framework for the on-line dynamic synthesis of emergency operating procedures in a nuclear power plant
Ushell To provide an environment for an introductory logic programming course for developing simple logic programs
HOSROS Optimizing a roster of Doctors in a hospital.
TML Genealogy System A genealogy expert system.
Pre-Printed Blankrupter Completely processes all the Federal Bankruptcy Forms for chapter 7, 11, 12 & 13 bankruptcy filings.
WSUFP To develop an FP interpreter in Prolog.
LMTX Multi-target machine translation system
PigE An expert system for optimising the growth of pigs raised in pig pens.
KORE/IE A fast implementation of a production system in Prolog
JONSWAP 3D Wave Force Analysis
ASTROLIZA / Aastro Brain Base Astrological Expert System.
Preditor A VLSI design editor
DES Diagnostic system to provide early detection of errors in integrated circuits
Gene Sequence Alignment
DESBAT Architectural design system
XPL (eXplanation for ProLog) Explaining behaviour of an expert system written in Prolog
ELMA Organizing educational media (books, videos, films, etc) for the planning of courses, seminars, and personal professional development
OPUSPC Real-Time Monitoring and decision support for airline Movement Control Center and placing grain.
PRODATA Interface to commercial RDBMS

ERGOPRO Decision support in the prevention of musculo-skeletal disorders in the work environment
Grammar Development Tool A tool for development of grammars by linguists.
PIAF Full custom integrated circuit floorplanning.
DATIN Social scientific dataretrieval. Instead of filling data into questionaeres it can be done direstly into the computer.
Staff Creation and maintenance of work schedules for large companies and institutions.
PLANE: PLANIFICATION EVOLUTION Gives Schedule and load of the long term production of aircraft.
ALBERTUS Training Physics in Highschool and College.
PROS 800 / PROVISA Process visualisation and registration, analysis of process data.
THE MAX AUDIOMETRIC TESTING SYSTEM Expert System for Audiometric screening testing for industrial, medical and school markets.
DIANA Diagnostics of technical installations.
XTEL Configuration of Telephone Systems.
PC-PARLOG and MAC PARLOG Programming language systems for PARLOG on the IBM-PC and Macintosh.
ADAM Object-Oriented Database.
BARBARA THE SYLLOGIZER. Exercises in syllogistic reasoning.
KAMIIH (Kasmoc Models programming environment Graphic definition and management of objects in 2D and 3D domains
CAS/FPS - Computer-Aided Synthesis of Flexible Production Scheduling. Multicriteria design and control of flexible multiproduct (batch) plants by computer-aided synthesis of the production plans and schedules from the possible building elements.
Optimist To assist geologists in oil exploration
UNZ & Co. Export Software Process the required documents for completing U.S. and Canada export forms.
MINOTAURO 1000 Decrease the operator resolution time of failures on trains on the track lines by means of dialoging expert system.
EMS Dynamic Scheduling of Flexible Manifacturing Systems
RPROLOG - Re-evaluable Prolog . RPROLOG is a metainterpreter for the programming of the uncertain possibilistic information feedback accompanying evolutionary synthesis from genetic building blocks.
FORMALL Fills in, processes and generates 26 pre-printed forms commonly used in small businesses. FORMALL creates an electronic environment for form processing in a small business.
HAPPS, TAPPS and MAPPS Parts selection for modular housing.
EXPOD EXPOD is an Expert System for Polymer Design.
FAST PHONEBOOK Allows the user to store and retrieve data based on two fields either of which can be key or value.
PAGAI Bibliographic database system with intelligent retrieval using term relationship networks
Direct Guide Insurance System Administration of private insurance policies issued through banks.
PSI. PSI is an application for data management and retrieval, intended for the non-commercial user.
HAPPS Parts selection for a type of modular house.
SEILBAHN void.
FAULTY To log how to fix common faults on equipment, to aid unexperienced technicians.
DOFLEX (Dortmund Flexible Legal Expert System Environment) Exploration of techniques of knowledge based systems to the legal and planning domain, also hypertext.
EXEGETE To provide a teaching and testing environment for students studying college level courses that allows hypertext commentary upon, interactive testing of documents in the humanities.
DynaPay Payroll Awards Interpreter. Calculates employees pays and allowances using user - specified rules.
Operational Rations Advisor (ORA) Automatically prepare ration menus from given food base, nutritionally balanced according to stated goals and environment.

Electronic Catalog Construction Kit v3.04 Permits users to create their own electronic catalog ordering system.
CPE CPE is a knowledge programming environment. It supports different programming styles: logic programming; constraint programming; object-oriented programming; database programming; etc.
ACAPS Loan Printing System Expert system to create loan documentation from ACAPS main frame loan system.
FARGETZT To test different colour combinations, to find nice colours to use in my windows.
EVA Decision making process support.
OBIS Configuration of an educational curriculum based on professional requirements.
Symbolic Differentiatio and Integrator (DS) This program symbolically differentiates all common mathematical functions and solves most simple integrals ( including integration by parts, but not substitution ).
PPLC 2.0 - flexible process control by Prolog represented higher order Petri-nets . Process control of single units or small chemical and biotechnological plants by a structure-based model, integrating the batch, sequential, feedforward and feedback control actions.
ISCN Expert Interpret chromosomal abnormalities
PYTHON Expert system for recognizing and performing squeeze plays, an advanced strategy in the game of bridge.
Aditi Compiler Query and rule compilation of Aditi Prolog to the base relational language RL for the Aditi Deductive Database.
ROADS The term ROADS stands for Rule Oriented Application Design System. ROADS is a tool for rapid prototyping and simulation of applications based upon finite state machine principles.
GESER To check that a ship design satisfies all applicable regulations
MODGEN 2.0-model generator for chemical processes. Dynamic simulation of chemical engineering process units by a discrete structural model, generated automatically in the knowledge of the user-defined decomposition pattern and prototypes.
A Code Generator for Database Applications in Prolog. Use of Prolog as a specification language for transactional systems and as a tool for automating software cycle.
FuPlan CAE . System for Configuration of Control System.
Opium An automated and extensible debugger for Prolog
PX Telephone Attendant Conversational Answering Machine
BEARING The BEARING program provides a mechanical engineer with computer-aided selection of rolling bearings.
QD-Janus A translator for a sequential implementation of the language Janus.
CADRAN Transformation of CAD Data.
IBM SAA LanguageAccess Natural language interface to relational databases.
AGATHA Expert System to test and diagnose complex printed circuit boards
KANAL (KArlsruhe NArrowing Laboratory) Narrowing laboratory.
IPHONE On-line electronic corporate phone book.
PI Interactive development and editing of formal proofs.
Biomarker Expert system to help geochemists determine the depositional environment of a rock or oil sample.
The Configurer Graphics Service, CGS To produce professional quality diagrams of ICL hardware configurations for use by salesforce in proposals.
GARP (General Architecture for Reasoning about Physics) A qualitative reasoning shell.
ARIES Using Prolog to access relational databases with natural language.
Prof'Expert The purpose of the system is to provide computer training in basic skills.
VOR (VHF omniderectional Range) Simulator Simulation of multi-channel air navigation aid (ATC beacon).
ENDELON ENDELON helps a project manager in estimating and planning projects of any kind, assuming that a methodology is used.
ADES (ATP Design Expert System) Automatic design of the logic circuits constituting an Automatic Train Protection (ATP) system, starting from the station topography.
BAMBI Intelligent aid to submission of several hundred interdependant jobs which update a fares database on a MVS system.
KORNPLAN Minimization of costs of transporting and placing grain.
ALTES Real Time Expert System Diagnosis and Help for tuning Bull/GCOS8/TP8 mainframe.
APEX Automatic living-room layout system for modular house.
DBKUNDAR Customer database for logging sales of a commercial program.
OF Activity planning and tracing
Sesam-Chimio Hypertext system Browsing of patient medical records
OSM a comprehensive information management and decision support system for general practitioners
CPPRO Circuit Board Diagnostic Troubleshooter Tool.
VALERE Quality Assurance in an Environment Laboratory: Water Quality.
Pro*CONSUL to help the designer and implementer of communications protocols
Practitioner Awards KBS
Vegetation Management Tools To provide a framework within which forest managers can select the best herbicide treatment for a particular set of weeds and crop situation.
Perfect Pitch Sports surfaces advisor
Towa Mold Press Diagnostic & Maintenance Expert System (TMES) To diagnose failures and prescribe repairs for a 60-ton mold press used in molding plastic semiconductor packages.

Mathias Animation of Discrete Mathematics
SSPA A KBS for Writing Safe Sequences of Operations on a High Voltage Electricity Network
MMI2 Multimodal interface for man machine interaction with knowledge based systems
EhLogico. Natural Deduction Automatic Theorem Prover for Knowledge-Based Systems with an Explanations-Generating Cooperative User Interface.
HESYOD Prototypes as Specifications for Automatic Synthesis of Logic Programs
TEX4 Specification Research Tool.
ProdAction Finite Capacity Scheduling in Discrete Manufacturing Industries.
NEST a Network design Expert SysTem
PLASTIC Intelligent operator control in a train dispatching.
TARIFICA DATABASE An Intelligent Costing system for International Leased-line circuits
Graph? Managing Networks of Persistent Data in Prolog
DIAVOLA Diagnosis of failed or damaged rolling bearings.
ADP (Arc Welding Diagnosis and Planning System. Diagnosis and planning of technological parameters for gas- shielded metal arc welding applications.
EMANON A CASE-tool for Developing Knowledge-Based Systems for Constructive Problems
VORAN/ABS advisory system for small investors in bank
PEP2 Parallel Expert Parser: A Rule- Based Spreading-Activation Model for Natural Language Understanding
HPSG-PL Designing grammars for parsing natural language.
$RD The Prolog Rapid Development Toolkit
Schikorre Schikorre: A Knowledge Based System for the Correlation of Stratigraphic Sequences in Prolog
SMI A Meta-Integration System for a Heterogeneous Object-Oriented Database Environment - Implementation in Prolog
LanguageAccess Natural language query of relational databases
Pictorial Janus Provide a visual programming environment for concurrent logic (and more generally constraint) programming
LogicBase "LogicBase, A Knowledge Base Program"
Bus-guide An interactive information terminal for Public Transport users
CONSULT Object-Oriented Interactive CAD/CAM Programming in Prolog
Detect5.pro Didactic tool for second-language teaching
PESKY To assess the risk of damage to plants or animals caused by introduction of potential pests.
FMOL Graphical Tools in an Automatic Prototyping Environment
RTSC - Real Time Supervisory Control by structure-based PROLOG program. Supervisory control of a flexible multiproduct batch plant including supervision of a PLC and a six-channel periphery interface, as well as receipt interpreter software balance and database manipulation.
ProTest A Knowledge Analysis Tool for the Development of Expert Systems
Erlang Use of Prolog for developing a new programming language
Simapro Calculating environmental impact of production/use/waste handling of products.
BinProlog Prolog Compiler
WALLS A program to aid in the building of poured concrete structures
Protee Protee : A Knowledge based system to assist biology researchers
Contralto Constraint Reasoning applied to Logistics of Transport Organisations
McExpert A logic programming model of multiple criteria decision making
Initial growth model for radiata pine in the Central North Island To represent a mathematical model of the response of young Radiata pine trees to weed control; ripping; discing; and fertilisation on a range of sites.
SAX A parser generator for DCGs.
KASA To analyse the structure of large (Ada) software systems.
SINTESIS Towards an Automated Software Production Environment
MATRUSKA For creating specialized Russian-English/vice versa dictionaries
Term Refiner/Browser Generic Relational Database Frontend
MedPro Record patient information and bill for services provided by a Medical Practitioner operating in Ontario, Canada.
Propagator A Prolog-Based Causal Reasoning System
KCM Help- Desk The KCM / Help- Desk Project
Phosulk Land Conservation Advisor
ADAS Application-driven Design Automation for Microprocessor Design
TEMA Installation of auxilaries to an existing program package.
PRESS (PRolog Execution of Standard Semantics) (1) To check and validate the informal semantics of draft standard Prolog, and (2) To investigate techniques of writing high quality maintainable Prolog programs.
SALI a Substation ALarms Interpreter
KONFIX a Configuration System For SOS-Emergency Services Systems
Rapidforms Forms Template - Tax Template To process W-2 and 1099 Tax Forms.
PLASMA PLASMA is a reverse CASE tool to maintain large COBOL programs.
CAPS - Computer Aided process Scheduling Shop Floor planning; scheduling and monitoring
SEAP (Systeme expert d'alerte precoce). Help the team in charge of the Malian "Early Warning System" (SAP:Systeme d'Alerte Precoce), to predict and assess the nutritional status of the Malian population.
Nestor Repair expert system for electromechanical telephone exchanges
MPSSS Power Systems Protection Simulator
Morse Learn and practice receive morse code with sound or light .
Linear Objects (LO) Prototype of an interpreter for a process based concurrent programming language (called LO).
STEUFF Producing in-data for a computer that surveys and controls the stearing mechanism in a KWU hot-water reactor.
PULSE STREAM CLASSIFIER To assist in the classification of streams of radar pulses
Real Time ABLE compiler To compile RTA programs
CARE-X25 (version included in RETAT) Propose minimal cost equipments for nodes and links an X25 private network according to X25 needs and engineering constraints.
Conceptual Graph Tools (CGT) to have a partial implementation of Sowa's Conceptual Structures.
ATMI A Natural Language Interface to Management Information
DME(Distance Measuring Equipment)SIMULATOR Simulation of single-channel air navigation aid (ATCsystem).
P/FDM Using Prolog to Provide Access to Metadata in an Object- Oriented Database
ZEXPERT a Prolog-based expert system shell
THE MANAGER'S EDGE Portrays trade-off between efficiency and participation for autocratic and group leadership styles known to be effective in a situation.
Member Risk System To analyse the credit assessments of customers to assess risk analysis.
CLARE/CLE A research system for the interactive analysis and generation of natural language.
EUODHILOS A logic-independent proof editor and constructor that allows users interactively to define the language and derivation rules of a logical system relevant for the universe of discourse under consideration; and to construct proofs in the defined system.
Weeds In Sugar Cane An Example of Maintainable Program Design in Prolog : Weeds In Sugar Cane
SKIL Synthesizing Knowledge in Intuitionistic Logic
Floor Plan Design An Incremental Prolog Systems Development for Floor Plan Design by Dissectioning
IMAGIA Visual inspection system for detecting faults in VLSI circuits
CLINT An Overview of the Interactive concept-Learner Theory Revisor
KONFIRM Database to log candidates for confirmation.
KBTDA a Knowledge-Based Database Transaction Design Tool Implemented in Prolog
ALIEN Documentation aid for equipment
SimSched Creating manufacturing schedule and analyzing the work of Flexible Manufacturing Systems using simulation.
ADW Knowledge Coordinator Tools to help developers to formalize, design and implement information systems
Laser Blankrupter Completely processes all the Federal Bankruptcy Forms for chapter 7, 11, 12 & 13 bankruptcy filings.
TES (TErm rewriting System) Programming environment for term rewriting systems (term rewriting laboratory).
HRM SIMULATOR Model the impacts of human resource management policies within organizations.
BUT A Prolog-Based Expert System for Underground Illumination in Coal Mines
STRAND88 Programming System a portable programmng system for parallel computers
XLSIOR An Intelligent System for Reinsurance Recoveries Calculation
PROCUT Optimize layout plan for cutting of rectangular panels.
MacCLINT Interactive Concept-Learning; Theory Revision; Belief Updating
SP-Motif Prolog Interface to OSF/Motif.
DedChem Synthesis planning based on name reactions in organic chemistry
GULICO Prolog Based Medical Data Manipulating System for Cardiologists
AIA-TRANS Automation of the information/management system for a transportation and freight company (packages distribution).
Mixtus 0.3.3 An automatic partial evaluator for full Prolog
Studygram Prolog for Natural Language Morphology
SEL Compiler Compiler For Subset Equational Language & Abstract Analyzers
Skilaki Logic based expert system shell
OMAR (operative management of aircraft bouting). A Scheduling of the Alitalia Fleet, i.e. assigning tail number of aircraft to flights.
AiGerm A Logic Programming Front End for Germ
Machine Assisted Terminology Elicitation Environment. Technical translation of large volumes of technical data.
Multipurpose Substation Simulator Shell (MPSSS) Simulation of the operation of the protection devices in the Power System Substations
UTI expert system for treatment of Urinary Tract Infections
KonText Text Analysis
TMDS Comm (Tandem Maintenance and Diagnostic System, Communications). Diagnosis of communications-related equipment problems.
Objective-Prolog Programming by step-wise refinement of data using Objective- Prolog
1.7MB A logic-independent proof editor and constructor that allows users interactively to define the language and derivation rules of a logical system relevant for the universe of discourse under consideration; and to construct proofs in the defined system.
PLANE An evolutive planning system for scheduling Aircraft Production.
IF/Man Automatic conversion of the IF/PROLOG programming manual into hypertext.
DART To facilitate the deadlock analysis of concurrent programs.
SXL Modeling and Prototyping with Structured Logic
HPLus Diagnosis of errors during execution of PROLOG programmes and generation of alternatives.
HESS (House Estimating System) Prepares accurates estimates for the construction of houses using typical methods of construction
DUST-EXPERT Design and obtain the venting requirements for the relief of dust explosions.
PERSONAL CASHFLOW Home budgeting program.
VEX/ATL Production of routing tables for a distributed telecom network
MessageQ Phone Message tracking system.
Prolog-D-Linda To provide a Parallel Prolog Programming environment.
Oceanic To provide all the programs for introducing a new insurance product within a few days
(IT) 2 Information-theoretic induction tools Induction of rules from examples with real-valued attributes used for the classification of semiconductor films
GET - Graphic Editor and Tools An X-Windows Toolkit for Knowledge Acquisition and Representation based on Conceptual Structures
SCE A Tool for defining Routing Information for the freephone Service in AXE.
TOERNOOI ASSISTENT To automate everything around tennis tournaments. Optimal planning and scheduling of matches. Easy and fast replanning in case of rain (!).
Human Rights Hypertext System Hypertext System for eight international human rights documents.
Syclops II Developer's workbench for database applications.
D- PROLOG Prolog interpreter with Edinburgh syntax
MATE The Machine Assisted Terminology Elicitation Environment : Text and Data Processing and Management in Prolog
PROLEX A Prolog Based Flexible Expert Sytem
KONE Predicate library Prolog Predicate Library: A Practioners Approach
SUMO_SAMA SUrface MOunt Slot And Machine Allocator.
Git'N GO P.O.S & Inventory System To allow multi-user Point of Sale / Inventory Control for bonded warehouses. Automate US Customs paperwork.
OLP A set of Prolog Programming Tools
MailerMate II Used to fill and print self-mailer forms using a micro computer and printer.
VSTA Using Prolog as a Tool for Systolic Array Designs
System 9 System 9: An Application Environment for Hospital Information Systems
PLASYNT Multiple-level combinational logic synthesis
GRONPAR MS-DOS operating system extensions for PROLOG interprocess communication over serial ports between programs running in parallel.
GROG - General Recognition Of Gates in VLSI circuits Structural and Functional abstraction of VLSI. The prototype of this expert system is built upon Prolog. It performs the hierarchical abstraction of full custom VLSI circuits.
Mondel Development Environment Supports the formal specification language MONDEL: compiling, execution, and validation.
COMBAT Simulation of a ground-air battle.
FLiPSiDE Financial Logic Programming System for Distributed Expertise. Blackboard system to coordinate distribute heterogenous knowledge sources.
Conceptual Graph Editor (CGE) To easily edit and build conceptual graph knowledge bases.
CAT2 Multilingual machine translation.
SEED Using Prolog to Develop Tools Supporting Formal Methods in Software Development
COMANDOS A Prolog Object Oriented Persistent Environment
Max Knowledge-based Decision Support : A Practical Application of Logic Programming and Prolog
ESFA Help design integrated circuits
See Mail, Version 1.3 Comprehensive e-mail system for DOS based LAN, with MCI Mail for external e-mail.
Rapidforms Forms Template - Contractor To process 9 contractor related forms.
PROLAB PROLOG-based assistant for biochemical data interpretation
EPSILON Communication with a Relational DBMS in a Logic Programming Framework
Pro-Sylvia Optimization of cutting wood panels with minimum wastage

RoadWeather Pro User-interactive 24-hour weather prediction system for snow and ice control on highways.
FELIX - FEL and Logica Interactive Expertsystem To investigate the applicability and value of Intelligent Computer Assisted Instruction.
CAPTAINS Pilot scheduling for airlines.
PISSARRA Improve the management of trains maintenance and repair centre.
LOGICLANDIA Supporting the teaching of predicates logic in Italian middle and upper secondary schools.
EVAL Support users in developing economical evaluations
SIPS Inductive Analysis: A machine learning algorithm as an alternative statistical technique.
FIM Help the sales force of investment funds for a bank holding by defining clients' profiles.
MOP2 MOP2 (Managing Our Projects, Monitoring Our Programme) is a program and database to aid NPL DITC Software Engineering Group in its project management, planning, and monitoring.
ELKARLAN Optimization, revisions and maintenance of scheduling of trains.
3TAP Tableau-Based Automated Theorem Prover for arbitrary finitely-valued first-order logics including the handling of equality and sorts.
GOLDFINDER To advise an exploration geologist on the best location to site a drill hole to find gold.
WFProlog (well-founded Prolog). A Prolog meta-interpreter that computes well-founded semantics for normal logic programs using negation as failure.
||MAPLE|| (speak: parallel Maple) System for Parallel Symbolic Computation
GASMAD Optimize global and daily maintenance in decisions repair/replace a gas distributions network.
L-Form L-Form is used in corporate or government markets to automate form processing. Generate a laser graphic form.
MCDS ? Manufacturing Cell Design System
SAR Restoration of an electrical power network after a general black-out.
CELLBUILDER. It comprises several programs, the main one of which (and the only one using Prolog) was called cellmapper. To generate optimal cell layouts for the cell library of the Crosspoint CP20K family of field-programmable gate arrays (FPGAs), starting from a transistor- or gate-level schematic.
INDICAID (Intelligent diagnostic computer aid) Correlation of faults detected by built-in test equipment in the sensor, weapon and command system on the Dutch Multipurpose-frigate.
EUREX Expert System for the application of import/export regulations
Master Project Coordinating Program The MPCP is a Blackboard System based on the Edinburgh BBS. It is used to maintain a 3D solid model of a building for intelligent design purposes.
LIMBO - Line Maintenance Bottleneck Detection Integrated Flight and Maintenance Planning
ADAN Conceptual clustering of data bases.
MODGEN/HPLC - Modeling Preparative High Performance Liquid Chromatography. Dynamic simulation of preparative HPLC (High Performance Liquid Chromatography) columns by an automatically generated PROLOG structural model.
DINSA HPP and Stocks Optimization of stock management.
Socrate Is a CAI system for developing lessons by teachers don*t know anything about computers.
REPROBATE Software valedation, re-streching and metrics for FORTRAN.
CLIENT RISK MANAGEMENT Minimize risk in Day-to-Day operations with client companies in banking institution.
ICEBERG ELECTRIC Support for the train tracks electrical network management.
NeoMail Electronic Mail Interface.
Air Sheduler Automatisation of aerodrome air traffic control service.
WHALE Analyse warehouse placement.
XWIN UIMS tool for building graphical user interfaces.
CPLAN Project management system.
PAPAIN Protein sequence analysis.
XTRACT Extract and analyse costing information from capture files generated from communication dialogues with on-line databases.
MISTRAL Filtering, intepretation and explanation of alarms coming from automatic monitoring systems of dams.
MASS-C (Mechanical Assembly Sequence Satisfiability-Checker) Verifies and generates all assembly sequences based on the task precedence ordering specifications written as a logic program of implemented temporal predicates.
Mosaic, 1.A.0 Mosaic is a strategy board game for the Macintosh.
TAPPS Parts selection for another type of modular house.
SysView Distributed System Administration.
GraphicKnowledge Extract structure from unstructured graphic files (e.g., "un-WYSIWYG" a 2-d line map).
KANN (KArlsruhe Normal Narrowing) Compiler for the logical-functional language KANN which is an extension of the KA-Prolog compiler.
PHOEBUS A Tool for Analysis of Hierarchial Finite State machines
Vascular Surgery decision support providing advice for clinical management decisions
MODEL OODB Add routines to make Prolog into a distributed object-oriented deductive database.
SEXSY (Studiefinancierings EXpert Systeem // Scholarship Expert System) SEXSY is a tool to compute the composition and amount of governmental scholarships.
Karyotype parser
Ytoolkit portable graphics package forProlog applications
MINOTAURO 3000 Decrease resolution time of failures on trains on the track lines by means of a dialoging expert system.
MODGEN/DMS Dynamic Modular Simulation of Technological Systems. Dynamic simulation of complex technological plants using a dynamic modular technique comprising the quasi-parallel or parallel execution of the generated structural models of the process units.
AFARS - Asset Forfeiture advisor and reporting system Assists federal, state and local law enforecement agencies in conducting effective asset forfeiture programs to process seized criminal assets
Spiral Menu Thanks to mouse selection, Sprial Menu allows random access to up to 53 items, in graphics mode.
DYNAMIC - system Locking.
Phoebus analysis of hierarchical finite state machines
Prototyping in Prolog Communication aid for the purpose of system design .
Chemical resource allocation resource allocation in chemical plants
SAMPLE: The Simplest AI Language Interpreter Development and implementation of a new technology for creation of expert systems in any field of symbol-numeric data processing by problem analysem analysts rather than professional programmers. The technology main feature: the user composes a program from fielded data examples (generalizing and building up some structure on them).
TSM - Twin Structure Model of controlled objects . Dynamic simulation of controlled process units or technological systems by the optionally in parallel executable coupled structural models of conservation and information processes.
SSTREN Software/Hardware training package for severely mentally inpaired.
ASK (Associative System Kentek) Knowledge retrieval and data analysis.
COTORRA Assistance for the operator in charge of trains line information in order to improve the service quality.
Personal Notekeeper Integrated, intelligent, multilingual, Fulltext Database for documents up to 64 KB, providing enhanced security features as high-speed encryption and access control. Specially suited for sensitive text's and notes on laptop's.
Electronic Catalog Construction Kit for Windows v1.0 Permits vendors to create their own interactive electronic catalog.
PLEX LEX for Prolog: A lexical analyzer generator for Prolog.
DEFINE BENEFIT STRUCTURE/MODULE of PENSION FUND VALUATION PROGRAM Selection and Definition of Pension Benefits.
ESAP Fault tree and Event tree analysis programs.
The Interpreter and Explainer, (TIE), version 3.5 TIE is both a transliterator and instantdictionary tool. It can be used to convert words from one language into another or used as a transcriber of terms, especially for research work.
DACH (Datenverarbeitung am Computer zu Hause) Tutorial for office communication and long distance training.
An Automated Legal Reasoning System on Indian Governement's Reservation Policy for Scheduled Castes and Scheduled Tribes Assists in the decision making on various issues related to Reservation Policy for Scheduled Castes and Scheduled Tribes.
ASIGNA This program is meant to schedule chemical processes sharing resources. It handles disjunctive constraints and large time periods.
SIRIUS Decrease the operator resolution time of failures on trains on the track lines by means of dialoging expert system.
JUMAN Morphological analysis for Japanese language.
RIGEN Regenerate user inputs to a Financial Model
Generalized Query System Provides a high-level general data access abstraction mechanism using a client - server architecture for access to diverse sources of data and knowledge.
Test Tool A tool for testing Prolog programs.
Timetable Scheduler. Producing timetables for a Polytechnic.
PHARGEST. Management of the central medical store of the Tchadian Public Health services (inventories, orders, deliveries, follow-up of consumption).
PFT Production Formulisation Tool.

LORSMS Transport Risk Analysis.
MULTI Builds complementary parsers and generator from a single specification language.
Total Network Management - Event Correlation Package. User defined correlation of anomolous events in telecommunication networks.

PCUBE or P3 Prolog-like Surfaced Expert System for an Overall Support of Parallel and Concurrent Process Systems

CVE A tool for symbolic verification of digital circuits